algebraic invariant

代数不变式